Remote Attestation of Heterogeneous Cyber-Physical Systems: The Automotive Use Case
نویسندگان
چکیده
Cyber-Physical Systems (CPS) are increasingly permeating our daily lives, particularly in the automotive domain since a modern vehicle can be regarded as one complex CPS. Given their increasing importance, CPS (and automotive systems as a representative case) are becoming attractive targets for attacks. Several techniques with varying assumptions and limitations have been proposed to detect and/or mitigate such attacks. A common theme has been the need for Remote Attestation (RA), a security service that allows a trusted party (verifier) to check the internal state of a remote untrusted and possibly compromised system (prover). This talk provides a first stab at extending contemporary RA techniques to settings with heterogeneous CPS. This is in contrast to settings with standalone or single devices which have been the focus of existing research. We propose to efficiently and securely combine the attestation of multiple devices thus providing a (natural) security service for larger and more complex CPS. We focus on the automotive domain and investigate how to realize attestation of multi-device CPS. We conclude with a discussion of future research directions and open problems surrounding RA in the automotive and general CPS domains.
منابع مشابه
Service-based Modeling of Cyber-Physical Automotive Systems: A Classification of Services
Systems of systems such as Smart Ecosystems, Cyber-Physical Systems, and the Internet of Things support flexible collaborations among heterogeneous participants with open interfaces. To assure safety in all possible collaboration scenarios, we introduced in previous work the ConSerts approach. This approach assumes that system interactions are captured via required and provided services. Consid...
متن کاملSemantic Remote Attestation — A Virtual Machine directed approach to Trusted Computing
Remote attestation is one of the core functionalities provided by trusted computing platforms. It holds the promise of enabling a variety of novel applications. However, current techniques for remote attestation are static, inexpressive and fundamentally incompatible with today’s heterogeneous distributed computing environments and commodity open systems. Using languagebased virtual machines en...
متن کاملAn Architectural Approach to Managing Heterogeneous Models for Automotive Control System Design Position submitted to Auto - CPS 2010
1. The Challenge: Heterogeneous Models Automotive systems and other cyber-physical systems are designed and analyzed using a variety of modeling formalisms and tools. Each representation highlights certain features and occludes others to make analysis tractable and to focus on particular performance attributes. Typically a particular formalism represents either the cyber or the physical element...
متن کاملSound conformance testing for cyber-physical systems: Theory and implementation
Conformance testing is a formal and structured approach to verifying system correctness. We propose a conformance testing algorithm for cyber-physical systems, based on the notion of hybrid conformance by Abbas and Fainekos. We show how the dynamics of system specification and the sampling rate play an essential role in making sound verdicts. We specify and prove error bounds that lead to sound...
متن کاملMedical Cyber Physical System
Cyber Physical System (CPS) is collection of different computation component which collaborate with each other in order to control the physical entity. Cyber physical system has a far reaching effect in different area such as aerospace, automotive, chemical processes, civil infrastructure, energy, healthcare, manufacturing, transportation, entertainment, and consumer appliances. CPS in healthca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015